Although the computational properties of the Region Connection Calculus RCC-8 are well studied, reasoning with RCC-8 entails several representational problems. This includes the problem of representing arbitrary spatial regions in a computational framework, leading to the problem of generating a realization of a consistent set of RCC-8 constraints. A further problem is that RCC-8 performs reaso...

given a pair (semispray $s$, metric $g$) on a tangent bundle, the family of nonlinear connections $n$ such that $g$ is recurrent with respect to $(s, n)$ with a fixed recurrent factor is determined by using the obata tensors. in particular, we obtain a characterization for a pair $(n, g)$ to be recurrent as well as for the triple $(s, stackrel{c}{n}, g)$ where $stackrel{c}{n}$ is the canonical ...

Given a pair (semispray $S$, metric $g$) on a tangent bundle, the family of nonlinear connections $N$ such that $g$ is recurrent with respect to $(S, N)$ with a fixed recurrent factor is determined by using the Obata tensors. In particular, we obtain a characterization for a pair $(N, g)$ to be recurrent as well as for the triple $(S, stackrel{c}{N}, g)$ where $stackrel{c}{N}$ is the canonical ...

We study canonical paracontact connection on a para-Sasakian manifold. We prove that a Ricci-flat para-Sasakian manifold with respect to canonical paracontact connection is an η-Einstein manifold.We also investigate some properties of curvature tensor, conformal curvature tensor,W2curvature tensor, concircular curvature tensor, projective curvature tensor, and pseudo-projective curvature tensor...